🔶 Lattice Theory - abnv · Scour

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·8h

🛡️Taint Analysis

Generalized Statistics on Lattices

link.aps.org·13h

🔢Algebraic Datatypes

abelianization of an additive category in nLab

ncatlab.org·4h

🔗Category Theory

Designing Boring Software with Functional Programming

agentultra.com·18h

🪞Homoiconicity

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·4h·

Discuss: Hacker News

🪢Rope Data Structures

Partial Reductions for Kleene Algebra with Linear Hypotheses

arxiv.org·15h

🐪OCaml GADTs

Book: Just Enough Software Architecture

georgefairbanks.com·23h

🧱First Principles

The Algebra of Speed: Mathematical Foundations of Computational Performance

ttsugriy.github.io·3d·

Discuss: Hacker News

🧠Memory Hierarchy

GNU C Language Manual

gnu.org·1h

🪄C Metaprogramming

Calculus Made Easy

calculusmadeeasy.org·5h

Reals, Complex, Quaternions and Octonions

nigelvr.github.io·2d·

Discuss: Hacker News

🧮Linear Algebra

Dependency Inversion Principle: The Architect’s Superpower

ihoka.me·1d·

Discuss: Hacker News

⚡Algebraic Effects

Template Method Design Pattern

denvaar.dev·17h

Simplex, a workflow specification language for autonomous agents

github.com·23h·

Discuss: Hacker News

🎭Program Synthesis

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·20h·

Discuss: Substack

🏛️Elm Architecture

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·8h

🏗️Cranelift

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

Conversation: LLMs and the what/how loop

martinfowler.com·6h

🔀Control Structures

Pavis: A Dumb Proxy for Boring Reloads

fabian4.site·5h·

Discuss: Hacker News

🦀MIR Optimization

Use of Assertions

blog.regehr.org·5h

🔍Static Analysis

Loading more...